1. Business Rule Solutions: BRS RuleSpeak® Practitioner’s Kit. Business Rule Solutions, LLC (2001-2004), http://www.rulespeak.com
2. Clark, P., Harrison, P., Murray, W., Thompson, J.: Naturalness vs. Predictability: A Key Debate in Controlled Languages. In: Fuchs, N.E. (ed.) Pre-Proceedings Workshop on Controlled Natural Language, Marettimo Island (2009)
3. Girle, R.A.: Modal Logics and Philosophy. McGill-Queen’s University Press (2000)
4. Halpin, T.A., Girle, R.A.: Deductive Logic, 2nd edn. Logiqpress, Brisbane (1981)
5. Halpin, T.A.: Information Modeling and Higher-Order Types. In: Grundspenkis, J., Kirkova, M. (eds.) Proc. CAiSE 2004 Workshops, vol. 1, pp. 233–248. Riga Tech. University (2004), http://www.orm.net/pdf/EMMSAD2004.pdf