The regular-language semantics of second-order idealized ALGOL
scientific article; zbMATH DE number 2111002