F. Ahishakiye, J. Jarabo, V. Pun, и V. Stolz. Formal Methods in Outer Space, том 13065 из Lecture Notes in Computer Science, стр. 108-126. Springer, (2021)
O. Abusdal, C. Din, V. Pun, и V. Stolz. The Logic of Software. A Tasting Menu of Formal Methods, том 13360 из Lecture Notes in Computer Science, стр. 1-18. Springer, (2022)