@article {389,
	title = {Specification Patterns: Formal and Easy},
	journal = {International Journal of Software Engineering and Knowledge Engineering},
	volume = {25},
	year = {2015},
	pages = {669{\textendash}700},
	doi = {10.1142/S0218194015500060},
	author = {Fernando Asteasuain and V{\'\i}ctor A. Braberman}
}