with Polaschek, M. L. , 1993, Software support for isotype — motivation and system design, in F. Stadler (ed.), Scientific philosophy, Dordrecht, Springer, pp. 229-239.