Algebraic Specification of Macintosh's Quickdraw Using OBJ2

@inproceedings{Nakagawa-al:ICSE88,
  author    = {Ataru T. Nakagawa and
               Kokichi Futatsugi and
               Satoru Tomura and
               T. Shimizu},
  title     = {Algebraic Specification of Macintosh's Quickdraw Using {OBJ2}},
  booktitle = {ICSE},
  pages     = {334--343},
  publisher = {{IEEE} Computer Society},
  year      = {1988},
}