Formal specification of Manifold a preliminary study - Rutten, E. P.; Arbab, Farhad 1952-; Herman, I. (Centrum voor Wiskunde en Informatica <Amsterdam>, 1992)