Бодин Е.В. Spin для головоломок: Использование системы проверки моделей SPIN для решения японской головоломки о переправе через реку и головоломки "Куб-1" // № 2, 2013
