10.1184/R1/6587444.v1 S. D(Stephen D.) Brookes S. D Brookes A fully abstract semantics and a proof system for an ALGOL-like language with sharing Carnegie Mellon University 2014 ALGOL (Computer program language) Programming (Electronic computers) 2014-12-01 00:00:00 Journal contribution https://kilthub.cmu.edu/articles/journal_contribution/A_fully_abstract_semantics_and_a_proof_system_for_an_ALGOL-like_language_with_sharing/6587444 Computer Science Department