Manual ot the TYPO type checker - Nivelle, Hans de 1967- (Centrum voor Wiskunde en Informatica, 1998)