Covering space theory for directed topology. Goubault, Eric, Haucourt, Emmanuel, Krishnan, Sanjeevi (2009) Theory and Applications of Categories [electronic only]