ASM, March 2000Martin Odersky, EPFL1 Objects + Views = Components? Martin Odersky EPFL Abstract State Machines - ASM 2000.