Type-Safe Object-Oriented Programming with Prototypes – The Concepts of Omega

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