Logic, computation and rigorous methods. Essays dedicated to Egon Börger on the occasion of his 75th birthday
scientific article; zbMATH DE number 7372874