A formal foundation for concurrent object oriented programming - Grosu, Radu (1994)
Keywords: Parallelverarbeitung; Lambda-Kalkül; Objektorientierte Programmierung; Hochschulschrift