Algebraic Specification of Macintosh's Quickdraw Using OBJ2.

Ataru T. Nakagawa, Kokichi Futatsugi, Satoru Tomura, T. Shimizu

Browse the full ICSE paper archive.