A structural framework for the formal representation of cooperation