"An Authoring Tool for Informal and Formal Requirements Specifications."

Reiner Hähnle, Kristofer Johannisson, Aarne Ranta (2002)
a service of Schloss Dagstuhl - Leibniz Center for Informatics