Computable Models of the Law Languages, Dialogues, Games, Ontologies - Casanovas, Pompeu; Sartor, Giovanni; Casellas, Núria; Rubino, Rossella (Springer Berlin Heidelberg, 2008)