An overview of manifold and its implementation - Arbab, Farhad 1952- (Centrum voor Wiskunde en Informatica, 1991)