Semantic Formulations in SBVR. - Donald E. Baisley; John Hall; Donald Chapin (Rule Languages for Interoperability, 2005)