The odd couple: Formal Notations and the development of information systems. - Carol Britton; Karry Omer (J. Inf. Technol., 1990)