Terwilliger, Robert B. and Roy H. Campbell. ENCOMPASS: a SAGA Based Environment for the Composition of Programs and SpeciJications. Proceedings of the 14th Hawaii International Conference on System Science (January 1986).

Languages mentioned

• PLEASE {1984}