Bolton, D., Furber, D., Green, S., Jones, S., & Till, D. (1994). Using domain knowledge in requirements capture and formal specification construction. In M. Jirotka, & J. A. Goguen (Eds.), Requirements Engineering: Social and Technical Issues (141-162). San Diego, CA, USA: Academic Press