@article{CAC,
	author={Pamela Zave,Michael Jackson},
	journal={ACM Transactions on Software Engineering and Methodology},
	month={October},
	number=4,
	pages={379-411},
	title={Conjunction as composition},
	volume=2,
	year=1993,
}