Correctness proof for the WAM with types (1992)

by C Beierle, E Börger
Venue:Computer Science Logic, volume 626 of LNCS