Manfred Broy Deductive Program Development: Evaluation in Reverse Polish Notation as an Example. 79-99 1991 conf/cip/1991 Methods of Programming db/conf/cip/cip1991.html#Broy91