Wolfgang Bibel On Strategies for the Systhesis of Algorithms. 22-27 1978 AISB/GI (ECAI) db/conf/ecai/ecai78.html#Bibel78