References

MEYER 1988

MEYER, B. (1988): Object-Oriented Software Construction. Prentice Hall.

OMOHUNDRO 1991

OMOHUNDRO, S. M. (1991): The Sather Language. Report, 3. Juni 1991, International Computer Science Institute, Berkeley.

OMOHUNDROSTOUTAMIRE 1994

OMOHUNDRO, S. M.STOUTAMIRE, D. (1994): The Sather 1.0 Specification. Working Paper, International Computer Science Institute, Berkeley, CA, USA.

WAITEGOOS 1984

WAITE, W. M.GOOS, G. (1984): Compiler Construction. Springer Verlag. polnische Übersetzung Wydawnictwa Naukowo - Techniczna, Warschau, 1989.

WEBER 1992

WEBER, F. (1992): Getting Class Correctness and System Correctness Equivalent. Proc. 8th International Conference TOOLS '92, 199-213. Prentice Hall, New York.