Bernhard Hohlfeld Correctness Proofs of the Implementation of Abstract Data Types. [Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:446-447 [Conf]
Bernhard Hohlfeld Programmverifikation in lauffähigen Pascal-Programmen. [Citation Graph (0, 0)][DBLP] Fachtagung über Programmiersprachen, 1984, pp:26-40 [Conf]