Ataru T. Nakagawa, Kokichi Futatsugi, Satoru Tomura, T. Shimizu. Algebraic Specification of Macintosh s Quickdraw Using OBJ2. In ICSE. pages 334-343, 1988.
@inproceedings{NakagawaFTS88,
title = {Algebraic Specification of Macintosh s Quickdraw Using OBJ2},
author = {Ataru T. Nakagawa and Kokichi Futatsugi and Satoru Tomura and T. Shimizu},
year = {1988},
tags = {algebraic specification, algebra},
researchr = {https://researchr.org/publication/NakagawaFTS88},
cites = {0},
citedby = {0},
pages = {334-343},
booktitle = {ICSE},
}