Title: Formal representation of games
First published: 1991