John Mitchell
Theoretical Basis of Object-Oriented Methods
TOOLS, 1992.
@inproceedings{TOOLS-USA-1992-Mitchell, author = "John Mitchell", booktitle = "{Proceedings of the Eighth International Conference on Technology of Object-Oriented Languages and Systems}", isbn = "0-13-042441-2", pages = "272", publisher = "{Prentice Hall}", title = "{Theoretical Basis of Object-Oriented Methods}", year = 1992, }