Alberto Pettorossi Andrzej Skowron The Power of the Lambda Abstraction Strategy for Program Derivation. 263-281 1989 25 Elektronische Informationsverarbeitung und Kybernetik 5/6 db/journals/eik/eik25.html#PettorossiS89