Programmverifikation - heftet, Tysk, 1994