TY  - RPRT
TI  - A CNL for Contract-Oriented Diagrams
AU  - John J. Camilleri
AU  - Gabriele Paganelli
AU  - Gerardo Schneider
PY  - 2014
UR  - https://arxiv.org/abs/1406.5691
ID  - 1406.5691
ER  -