Gordon J. Pace, Michael Rosner. A Controlled Language for the Specification of Contracts. In Norbert E. Fuchs, editor, Controlled Natural Language, Workshop on Controlled Natural Language, CNL 2009, Marettimo Island, Italy, June 8-10, 2009. Revised Papers. Volume 5972 of Lecture Notes in Computer Science, pages 226-245, Springer, 2009. [doi]
Abstract is missing.