Franz Weber Getting Class Correctness and System Correctness Equivalent (How to get covariance right). 199-213 1992 conf/tools/8-1992 TOOLS (8) db/conf/tools/tools08-1992.html#Weber92