Jacques Loeckx, Jörg Zeyer: Experiences with a Specification Environment. KORSO Book 1995: 255-269