Synteza programów przez przekształcanie formuł - Martinek, Jacek (Prace CO PAN, 1975)