The definition of Extended ML a gentle introduction - Kahrs, Stefan; Sannella, Donald T.; Tarlecki, Andrzej (1995)