Computable models of the law : Languages, Dialogues, Games, Ontologies (2008)