Pompeu Casanovas Giovanni Sartor Nuria Casellas Rossella Rubino Computable Models of the Law, Languages, Dialogues, Games, Ontologies 4884 2008 978-3-540-85568-2 Lecture Notes in Computer Science Springer db/series/lncs/lncs4884.html