@booklet { caseStudiesCSCC-tr07,
	title = {Automotive and Finance Case Studies in the Conversation Calculus},
	year = {2007},
	note = {URL={http://www-ctp.di.fct.unl.pt/~htv/pub/FinanceCSCC.pdf}},
	publisher = {Departamento de Inform{\'a}tica FCT/UNL},
	author = {L. Caires and J. C. Seco and Hugo T. Vieira}
}
