Standard ML of new jersey (1991)

by A W Appel, D B MacQueen
Venue:Proceedings of theThirdInternational Symposium on Programming Language Implementation and Logic Programming, number 528