@misc{W1829244603,
  author = {Robin Milner and Robert Harper and David MacQueen and Mads Tofte},
  title = {The Definition of Standard ML},
  year = {1997},
  howpublished = {The MIT Press eBooks},
  doi = {https://doi.org/10.7551/mitpress/2319.001.0001}
}