Specification of Manifold - Arbab, Farhad 1952- (Centrum voor Wiskunde en Informatica <Amsterdam>, 1992)