L.C. Paulson (1991): ML for the Working Programmer
Title:
ML for the Working Programmer
Author(s):
L.C. Paulson
Year:
1991
Journal:
Automated Reasoning
Publisher:
Cambridge University Press
Concepts
