TY - RPRT TI - Algorithmic specification as a technique for computing with informal biological models. AU - M Conrad PY - 1981 DO - 10.1016/0303-2647(81)90008-3 UR - https://pubmed.ncbi.nlm.nih.gov/7248489/ ID - 7248489 ER -