Donald E. Baisley John Hall Donald Chapin Semantic Formulations in SBVR. 2005 conf/w3c/2005r Rule Languages for Interoperability http://www.w3.org/2004/12/rules-ws/paper/67 db/conf/w3c/rules2005.html#BaisleyHC05