Anthony Finkelstein, Colin Potts. Formalizing Requirements Systematically. In Roland Wagner, Roland Traunmüller, Heinrich C. Mayr, editors, Informationsbedarfsermittlung und -analyse für den Entwurf von Informationssystemen, Fachtagung EMISA, Linz, 2. und 3. Juli 1987, Proceedings. Volume 143 of Informatik-Fachberichte, pages 44-57, Springer, 1987.