@article(synchronous_composition,
 author       = "Andr\'{e} Arnold",
 year         = "2002",
 title        = "Nivat's processes and their synchronization",
 journal      = "Theor. Comput. Sci.",
 volume       = "281",
 pages        = "31--36",
 doi          = "10.1016/S0304-3975(02)00006-3",
)
@inproceedings(Fasli:2001:CRO:646697.703776,
 author       = "Maria Fasli",
 year         = "2002",
 title        = "On Commitments, Roles, and Obligations",
 booktitle    = "Revised Papers from the Second International Workshop of Central and Eastern Europe on Multi-Agent Systems: From Theory to Practice in Multi-Agent Systems",
 series       = "CEEMAS '01",
 publisher    = "Springer-Verlag",
 pages        = "93--102",
 doi          = "10.1007/3-540-45941-3\_10",
)
@inproceedings(governatori2005dealing,
 author       = "G. Governatori and Z. Milosevic",
 year         = "2005",
 title        = "Dealing with contract violations: formalism and domain specific language",
 booktitle    = "EDOC Enterprise Computing Conference, 2005 Ninth IEEE International",
 organization = "IEEE",
 pages        = "46--57",
 doi          = "10.1109/EDOC.2005.13",
)
@article(ruleml,
 author       = "Guido Governatori",
 year         = "2005",
 title        = "Representing business contracts in {\it RuleML}",
 journal      = "Int. J. Cooperative Inf. Syst.",
 volume       = "14",
 number       = "2-3",
 pages        = "181--216",
 doi          = "10.1142/S0218843005001092",
)
@article(herrestad1995deontic,
 author       = "H. Herrestad and C. Krogh",
 year         = "1995",
 title        = "Deontic logic relativised to bearers and counterparties",
 journal      = "Anniversary Anthology in Computers and Law",
 pages        = "453--522",
)
@article(hohfeld1913,
 author       = "W.N. Hohfeld",
 year         = "1913",
 title        = "Some fundamental legal conceptions as applied in judicial reasoning",
 journal      = "Yale Law Journal",
 volume       = "23",
 pages        = "16",
 doi          = "10.2307/785533",
)
@article(kanger1966rights,
 author       = "S. Kanger and H. Kanger",
 year         = "1966",
 title        = "Rights and parliamentarism",
 journal      = "Theoria",
 volume       = "32",
 number       = "2",
 pages        = "85--115",
 doi          = "10.1111/j.1755-2567.1966.tb00594.x",
)
@book(lindahl1977position,
 author       = "L. Lindahl",
 year         = "1977",
 title        = "Position and change: A study in law and logic",
 volume       = "112",
 publisher    = "Springer",
 doi          = "10.1007/978-94-010-1202-7",
)
@inproceedings(Marjanovic:2001:TFM:645344.650361,
 author       = "Olivera Marjanovic and Zoran Milosevic",
 year         = "2001",
 title        = "Towards Formal Modeling of e-Contracts",
 booktitle    = "Proceedings of the 5th IEEE International Conference on Enterprise Distributed Object Computing",
 series       = "EDOC '01",
 publisher    = "IEEE Computer Society",
 address      = "Washington, DC, USA",
 pages        = "59--",
 doi          = "10.1109/EDOC.2001.950423",
)
@techreport(PS_FLACOS2012-TR,
 author       = "Gordon Pace and Fernando Schapachnik",
 year         = "2012",
 title        = "Contracts for Interacting Two-Party Systems",
 type         = "Technical Report",
 institution  = "FCEyN, Universidad de Buenos Aires",
 url          = "http://publicaciones.dc.uba.ar/Publications/2012/PS12a",
)
@inproceedings(PS_JURIX2011,
 author       = "Gordon J. Pace and Fernando Schapachnik",
 year         = "2011",
 title        = "Permissions in Contracts, a Logical Insight",
 booktitle    = "JURIX",
 pages        = "140--144",
 doi          = "10.3233/978-1-60750-981-3-140",
)
@article(ryu1998specification,
 author       = "Y.U. Ryu",
 year         = "1998",
 title        = "Specification of contractual obligations in formal business communication",
 journal      = "Data \& knowledge engineering",
 volume       = "26",
 number       = "3",
 pages        = "309--326",
 doi          = "10.1016/S0169-023X(97)00048-7",
)
@inproceedings(santos1997action,
 author       = "F.A.A. Santos and A.J.I. Jones and J. Carmo",
 year         = "1997",
 title        = "Action concepts for describing organised interaction",
 booktitle    = "System Sciences, 1997, Proceedings of the Thirtieth Hawaii International Conference on",
 volume       = "5",
 organization = "IEEE",
 pages        = "373--382",
 doi          = "10.1109/HICSS.1997.10062",
)
@article(Tan:1998:LMD:1189859.1189865,
 author       = "Yao-Hua Tan and Walter Thoen",
 year         = "1998",
 title        = "A logical model of directed obligations and permissions to support electronic contracting",
 journal      = "Int. J. Electron. Commerce",
 volume       = "3",
 pages        = "87--104",
)