Notations for the specification and verification of composite web services /
Woodman, S. J.
University of Newcastle upon Tyne.School of Computing Science.
Newcastle upon Tyne : University of Newcastle upon Tyne, Computing Science,
2004.
"June 2004".