Christoph Beierle Egon Börger Correctness Proof For the WAM with Types. 15-34 1991 conf/csl/1991 CSL db/conf/csl/csl91.html#BeierleB91 http://dx.doi.org/10.1007/BFb0023755