The Definition of Standard ML (book)

GPTKB entity