A Structural Soundness Proof for Shivers's Escape Technique - A Case for Galois Connections.

Jan Midtgaard, Michael D. Adams, Matthew Might

Browse the full SAS paper archive.