Introduction of a formal technique into a software development environment: early observations. - Roger C. Shaw; P. N. Hudson; N. W. Davis (ACM SIGSOFT Softw. Eng. Notes, 1984)