@proceedings {3144,
	title = {The Type Discipline of Behavioral Separation},
	journal = {40th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL)},
	year = {2013},
	publisher = {ACM},
	address = {Rome, Italy},
	attachments = {https://docentes.fct.unl.pt/sites/default/files/jrcs/files/bst-tr.pdf},
	author = {Lu{\'\i}s Caires and Jo{\~a}o Costa Seco}
}
