CleanJava: A formal notation for functional program verification - Yoonsik Cheon; Cesar Yeep; Melisa Vela; The Pennsylvania State University CiteSeerX Archives (http://www.cs.utep.edu/cheon/techreport/tr10-49.pdf)