@booklet { cai_vie_sec_MSOC_TR06-07,
	title = {A Model of Service Oriented Computation},
	number = {06},
	year = {2007},
	note = {URL={http://www-ctp.di.fct.unl.pt/~htv/pub/SOM-techreport.pdf}},
	publisher = {Departamento de Inform{\'a}tica FCT/UNL},
	author = {L. Caires and Hugo T. Vieira and J. C. Seco}
}
