Ataru T. Nakagawa, Kokichi Futatsugi, Satoru Tomura, T. Shimizu
Algebraic Specification of Macintosh’s Quickdraw Using OBJ2
ICSE, 1988.
@inproceedings{ICSE-1988-NakagawaFTS,
acmid = "55856",
author = "Ataru T. Nakagawa and Kokichi Futatsugi and Satoru Tomura and T. Shimizu",
booktitle = "{Proceedings of the 10th International Conference on Software Engineering}",
editor = "Tan Chin Nam and Larry E. Druffel and Bertrand Meyer",
isbn = "0-8186-0849-8",
pages = "334--343",
publisher = "{IEEE Computer Society}",
title = "{Algebraic Specification of Macintosh’s Quickdraw Using OBJ2}",
year = 1988,
}