Logic, modeling, and programming
scientific article; zbMATH DE number 1067082