D. Cok, und K. Leino. The Logic of Software. A Tasting Menu of Formal Methods, Volume 13360 von Lecture Notes in Computer Science, Seite 105-128. Springer, (2022)
S. Leino, L. Jokinen, J. Anttila, und A. Pulkkinen. PLM, Volume 467 von IFIP Advances in Information and Communication Technology, Seite 591-600. Springer, (2015)