A.: The definition of extended ML: A gentle introduction (1997)

by S Kahrs, D Sannella, Tarlecki
Venue:Theoretical Computer Science