G. Blaschek: Type-Safe Object-Oriented Programming with Prototypes - The Concepts of Omega, Structured Programming, Vol. 12, pp. 217-225, Springer-Verlag 1991.