Programming logics. Essays in memory of Harald Ganzinger
scientific article; zbMATH DE number 6153545