Manfred Broy
Manfred Broy.
Compositional refinement of interactive systems.
Journal of the ACM
, 44(6):850-891, November 1997.
References, etc.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database