- Zohar Manna and Amir Pnueli. Formalization of properties of
functional programs. Journal of the ACM, 17(3):555-569,
July 1970.
References,
etc.
- S. Even, A. Pnueli, and A. Lempel. Permutation graphs and transitive
graphs. Journal of the ACM, 19(3):400-410, July 1972.
Citations,
etc.
- 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: