A Sound and Relatively * Complete Hoare-Logic for a Language With Higher Type Procedures.

Werner Damm Bernhard Josko A Sound and Relatively * Complete Hoare-Logic for a Language With Higher Type Procedures. 59-101 1983 20 Acta Inf. db/journals/acta/acta20.html#DammJ83