Algebraic Specification of Macintosh's Quickdraw Using OBJ2. - Ataru T. Nakagawa; Kokichi Futatsugi; Satoru Tomura; T. Shimizu (ICSE, 1988)