TY - BOOK ID - 137202220 TI - Process expressions and Hoare's logic PY - 1989 PB - Amsterdam Stichting mathematisch centrum DB - UniCat UR - https://www.unicat.be/uniCat?func=search&query=sysid:137202220 AB - ER -