@article{WDO,
	author={Pamela Zave,Michael Jackson},
	journal={IEEE Transactions on Software Engineering},
	month={July},
	number=7,
	pages={508-528},
	title={Where do operations come from?  A multiparadigm specification technique},
	volume=22,
	year=1996,
}