Full abstraction and recursion
semantic models for a programming language
scientific article; zbMATH DE number 1058310
scientific article