Keith Mander, Fiona A. C. Polack: Rigorous specification using structured systems analysis and Z. Inf. Softw. Technol. 37(5-6): 285-291 (1995)