Computable Models Of The Law by Pompeu Casanovas