Semantik und Verifikation.

Published in: Perspektiven der Informatik (1993)