Manfred Broy Peter Pepper Martin Wirsing On Relations Between Programs. 59-78 1980 conf/programm/1980 Symposium on Programming db/conf/programm/programm80.html#BroyPW80 https://doi.org/10.1007/3-540-09981-6_5