John McLean
John McLean.
A formal method for the abstract specification of software.
Journal of the ACM
, 31(3):600-627, July 1984.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database