The Definition of Standard ML | MIT Press eBooks | IEEE Xplore