Franz Weber
Getting Class Correctness and System Correctness Equivalent (How to get covariance right)
TOOLS, 1992.
@inproceedings{TOOLS-USA-1992-Weber,
author = "Franz Weber",
booktitle = "{Proceedings of the Eighth International Conference on Technology of Object-Oriented Languages and Systems}",
isbn = "0-13-042441-2",
pages = "199--213",
publisher = "{Prentice Hall}",
title = "{Getting Class Correctness and System Correctness Equivalent (How to get covariance right)}",
year = 1992,
}