Proc. Intl. Colloq. on Fundamental Approaches to Software Engineering, ETAPS'98, Lisbon. Springer LNCS 1382, 1998

• Kahrs, S. and Sannella, D. (1998) Kahrs, S. and Sannella, D. "Reflections on the design of a specification language" pp154-170