Specification languages for computational laws versus basic legal principles