The Definition of Standard (1997)

by R Milner, M Tofte, R Harper, D MacQueen