Edward A. Ashcroft
Edward Ashcroft, Zohar Manna, and Amir Pnueli.
Decidable properties of monadic functional schemas.
Journal of the ACM
, 20(3):489-499, July 1973.
References, Citations, etc.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database