Darko Stefanovic J. Eliot B. Moss Characterization of Object Behaviour in Standard ML of New Jersey. 43-54 1994 LISP and Functional Programming http://doi.acm.org/10.1145/182409.182428 db/conf/lfp/lfp1994.html#StefanovicM94