Correctness proof for the WAM with types (1992)

by C Beierle, E Börger
Venue:Computer Science Logic - CSL’91, volume 626 of Lecture Notes in Computer Science