Kan extensions in double categories. (On weak double categories. III). Grandis, Marco, Paré, Robert (2008) Theory and Applications of Categories [electronic only]