Computation and reasoning : : a type for computer science - Luo, Zhaohui (The international series of monographs on computer science ;, 1994)