@inproceedings{turnstile,
	author={Michael Jackson,Pamela Zave},
	booktitle={Proceedings of the Seventeenth International Conference on Software Engineering},
	month={April},
	organization={ACM Press},
	pages={15-24},
	title={Deriving specifications from requirements:  An example},
	year=1995,
}