Thinking Outside (and Inside) the Box. - Michael Gruninger; Salim Bouafoud (SHAPES, 2011)