Henning Möller CODE - Consistent Document Engineering: Konsistenz und Korrekthet. 145-162 1995 HIM db/conf/him/him95.html#Moller95