High-level specification of games
Henno, Jaak
Towards Intelligent Engineering and Information Technology
2009
/
p. 307-322
https://link.springer.com/chapter/10.1007/978-3-642-03737-5_22