K. Heikkinen, S. Salanterä, и H. Leino-Kilpi. Nursing Informatics, том 146 из Studies in Health Technology and Informatics, стр. 850-851. IOS Press, (2009)
D. Cok, и K. Leino. The Logic of Software. A Tasting Menu of Formal Methods, том 13360 из Lecture Notes in Computer Science, стр. 105-128. Springer, (2022)