Towards a colimit-based semantics for visual programming - Gibbons, J (2002)