Christoph Beierle Egon Börger Specification and Correctness Proof of a WAM Extension with Abstract Type Constraints. 428-462 1996 8 Formal Asp. Comput. 4 db/journals/fac/fac8.html#BeierleB96 http://dx.doi.org/10.1007/BF01213533