1. Krzysztof Apt, Frank S de Boer and Ernst-Rüdiger Olderog,Verification of Sequential and Concurrent Programs, Springer, 2009.
2. Frances E. Allen, The history of language processor technology in IBM, IBM Journal of Research and Development, 25 (5) (1981), 535–548.
3. Krzysztof Apt and Ernst-Rüdiger Olderog, Verification of Sequential and Concurrent Programs, Springer, 1991.
4. Krzysztof Apt, Ten years of Hoare’s logic: A survey – Part I, ACM Transactions on Programming Languages and Systems, 3 (4) (1981), 431–483.
5. Krzysztof Apt, Ten years of Hoare’s logic: A survey – Part II: Nondeterminism, Theoretical Computer Science, 28 (1-2) 1983, 83–109.