Bisimulation proof methods in a path-based specification language for polynomial coalgebras. - Xiaocong Zhou; Yong-Ji Li; Wen-Jun Li; Hai-Yan Qiao; Zhongmei Shu (Math. Struct. Comput. Sci., 2015)