TY - BOOK ID - 127046516 TI - A calculus of functions for program derivation AU - Bird, Richard AU - Oxford university computing laboratory.. programming research group PY - 1987 PB - Oxford: Oxford university computing laboratory, Programming research group, DB - UniCat UR - https://www.unicat.be/uniCat?func=search&query=sysid:127046516 AB - ER -