Safe Structural Conformance for Java

Publication
Comput. J.