Title: A proposal for standard ML
First published: 1983