TY  - BOOK
A2  - Möller, Bernhard
T1  - Mathematics of Program Construction: Third International Conference; MPC '95 Kloster Irsee, Germany, July 17–21, 1995; Proceedings
Y1  - 1995
UR  - https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/21069
SN  - 978-3-540-60117-3
PB  - Springer
CY  - Berlin u.a.
ER  -