Loeckx, J., & Sieber, K. [ca. 1987]. The foundations of program verification. In Wiley-Teubner series in computer science (2. ed.) [Book]. Stuttgart: Teubner [u.a.].

LOECKX, Jacques und SIEBER, Kurt, 1987. The foundations of program verification. 2. ed. Stuttgart: Teubner [u.a.]. ISBN 3519121018.

Loeckx, J., und K. Sieber. „The foundations of program verification“. Wiley-Teubner series in computer science, 2. ed., book, Teubner [u.a.], 1987.

Loeckx, Jacques/Sieber, Kurt: The foundations of program verification, 2. ed. Aufl. Stuttgart 1987.

Loeckx, J. und Sieber, K. (1987), The foundations of program verification, Wiley-Teubner series in computer science, 2. ed., Bd. , Teubner [u.a.], Stuttgart.