Title: A formal representation of normative systems