Full abstraction for idealized Algol with passive expressions
scientific article; zbMATH DE number 1495167