K. Leino, und M. Kurimo. NODALIDA, Volume 131 von Linköping Electronic Conference Proceedings, Seite 65-69. Linköping University Electronic Press / Association for Computational Linguistics, (2017)
K. Heikkinen, S. Salanterä, und H. Leino-Kilpi. Nursing Informatics, Volume 146 von Studies in Health Technology and Informatics, Seite 850-851. IOS Press, (2009)
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)