High-level specification of gamesHenno, JaakTowards Intelligent Engineering and Information Technology2009 / p. 307-322 https://link.springer.com/chapter/10.1007/978-3-642-03737-5_22