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