BibSonomy publications for /user/evol/calculusWed Sep 26 10:37:27 CEST 2007Fundamentals of Computation Theory (FCT95)Lecture Notes in Computer ScienceA Delegation-based Object Calculus with Subtyping1995calculus formal object-oriented