John Sargeant Uniting Functional and Object-Oriented Programming. 1-26 1993 conf/isotas/1993 ISOTAS db/conf/isotas/isotas1993.html#Sargeant93