A mathematical semantics which can deal with full jumps (1973)

by Christopher Strachey
Venue:In Théorie des Algorithmes, des Langages et de la Programmation, IRIA (INRIA), Rocquencourt