Erklärungen und Beweise.

Published in: Mensch-Maschine-Dialog (1992)