Harry K. T. Wong: Design and verification of information systems. University of Toronto, Canada 1983