Roger Duke
Formal Methods for the Design and Specification of Object-Oriented Systems
TOOLS, 1993.
@inproceedings{TOOLS-PACIFIC-1993-Duke,
author = "Roger Duke",
booktitle = "{Proceedings of the 12th International Conference on Technology of Object-Oriented Languages and Systems}",
isbn = "0-13-124512-0",
pages = "324",
publisher = "{Prentice Hall}",
title = "{Formal Methods for the Design and Specification of Object-Oriented Systems}",
year = 1993,
}