A two-valued logic for properties of strict functional programs allowing partial functions
scientific article; zbMATH DE number 6184680