Title: The semantics of Standard ML
Subtitle: version 1