@article {BK11,
	title = {Special Issue of the Journal of Symbolic Computation on Automated Specification and Verification of Web Systems (Preface)},
	journal = {Journal of Symbolic Computation},
	volume = {46},
	number = {2},
	year = {2011},
	pages = {93{\textendash}94},
	author = {Demis Ballis and Kutsia, T.}
}
