Baar T. A DSL and a SPIN-frontend for river-crossing problems defined with Xtext // Computer Science. — 2015. — # 38 — P. 29-36
