A method for specifying contract mediated interactions /
Molina-Jimenez, Carlos.
Shrivastava, Santosh.
Warne, John.
University of Newcastle upon Tyne.School of Computing Science.
Newcastle upon Tyne : University of Newcastle upon Tyne,
2005.
"Computing Science"--Cover.