LOGIC AND COMPUTATION : INTERACTIVE PROOF WITH CAMBRIDGE LCF - PAULSON L.C. (CAMEBRIDGE : CAMEBRIDGE UNIVERSITY PRESS, 1987)
Keywords: COMPUTER SCIENCE : FUNCTIONS