Jaak Henno. High-Level Specification of Games. In Imre J. Rudas, János C. Fodor, Janusz Kacprzyk, editors, Towards Intelligent Engineering and Information Technology. Volume 243 of Studies in Computational Intelligence, pages 307-322, Springer, 2009. [doi]
Abstract is missing.