Design, implementation and evaluation of a declarative object-oriented programming language. - Adolfo J. Socorro Ramos (1993)