Properties of a first-order functional language with sharing
scientific article; zbMATH DE number 985387
scientific article