@incollection{Broy-Pepper-Wirsing/80,
AUTHOR = {Broy, M. and Pepper, P. and Wirsing, M.},
TITLE = {On relations between programs},
BOOKTITLE = {Proceedings of the 4th International Symposium on Programming (Paris)},
SERIES = {LNCS},
VOLUME = {83},
YEAR = {1980, April},
EDITOR = {Robinet, B.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}