Zur Charakterisierung von Programmen mit endlichen Arten - Klein, Hans-Joachim (1980)