Type management system in the Nexus distributed programming environment. - Anand Tripathi; Siong Ong (COMPSAC, 1988)