Synthesis of logic programs from object-oriented formal specifications
scientific article; zbMATH DE number 6073905