Milner, R., M. Tofte, and R. Harper. The Definition of Standard ML. The MIT Press, Cambridge, Massachusetts and London, England, 1990.
author author author author author author author title title title title title publisher publisher publisher location location location location location date