Aart Middeldrop, Vincent Van Oostrom Process, Terms and Cycles : Steps on the Road to Infinity - Berlin Springer 2005 - 638p. ill 21cm. ISBN: 354030911 Subjects--Topical Terms: Computer ScienceComputer Science Logic and Foundations of Programming. Dewey Class. No.: R 005.131 AAR-P