Fully abstract models of programming languages - Stoughton, Allen (London Pitman Publishing, 1988)
Keywords: Programming languages (Electronic computers)--Semantics