A proposal for standard ML - Milner, Robin 1934-2010 (University <Edinburgh>, 1983)