TY - THES ID - 145182464 TI - Semantics, implementation and pragmatics of clear : a program specification language AU - Sannella, Donald Theodore AU - Burstall, Rod M. PY - 1982 PB - Edinburgh : University of Edinburgh, Department of Computer Science, DB - UniCat UR - https://www.unicat.be/uniCat?func=search&query=sysid:145182464 AB - ER -