The Definition of Standard ML (1989)

GPTKB entity