Towards a Formal Specification of an Object-Oriented Architecture for Parallel Computing. - S. Bavan; Eleni Berki; Elli Georgiadou; M. Milankovic-Adkinson; M. J. Walker (PDPTA, 1997)