G. Pomberger, W. Bischofberger, R. Keller, D. Schmidt: Topos - A Toolset for Prototyping-oriented Software Development, Proceedings of the 4 CGL, Conference, Paris 1988.