Bodin E. Spin for puzzles: Using Spin for solving the Japanese river puzzle and the Square-1 cube // # 2, 2013
Staroletov S., Dubko A. A Method to Verify Parallel and Distributed Software in C# by Doing Roslyn AST Transformation to a Promela Model // # 15, 2019