Terwilliger, R. B. and Campbell, R. H. "An early report on ENCOMPASS". In Proceedings of 10th ICSE, Singapore, IEEE Computer Science Press, 1988

Languages mentioned

• Path Pascal {1978}
• PLEASE {1984}