TY - BOOK ID - 146170135 TI - Mathematics of program construction. Third international conference, MPC 95, Kloster Irsee, Germany; July 1995. Proceedings PY - 1995 SN - 0387601171 PB - Berlin : Springer-Verlag, DB - UniCat UR - https://www.unicat.be/uniCat?func=search&query=sysid:146170135 AB - ER -