The CleanJava Language for Functional Program Verification - Cheon, Yoonsik; Yeep, Cesar; Vela, Melisa (Departmental Technical Reports (CS, 2011)