1. ISO TC97/SC 16/WG1 Subgroup A on Architecture, “Concepts for describing the OSI architecture.” working draft, Ispra, Nov. 1981.
2. D. Lehmann, A. Pnueli, and J. Stavi, “Impartiality, justice and fairness: The ethics of concurrent termination,” in Proc. ICALP 81. New York: Springer Verlag, July 1981.
3. Tech. Rep.;Z. Manna,1981
4. Tech. Rep.;B. Hailpem,1980
5. ISO TC97/SC16/WG1 Subgroup B on State Machines, “A FDT based on an extended state transition model,” working draft, Boston, MA, Dec. 1981.