Naumann, R.; Piñón, C. Decomposing the Progressive. Proceedings of the AC 1997, 241-246.