Correctness proof for the WAM with types (1992)

by C Beierle, E Borger
Venue:Computer Science Logic, volume 626 of LNCS