Introduction to ComputationPhilip Wadler, Haoran Peng, Michael Fourman, Donald Sannella E-bok2022537 kr
Functional Programming, Glasgow 1991Rogardt Heldal, Carsten K. Holst, Philip WadlerHäftad, 1992566 kr
Computational Logic - CL 2000Peter J. Stuckey, Yehoshua Sagiv, Luis M. Pereira, Catuscia Palamidessi, Kung-Kiu Lau, Manfred Kerber, Ulrich Furbach, Veronica Dahl, John Lloyd E-bok2003732 kr