Dick A. C. Quartel, Luís Ferreira Pires, Henry M. Franken, Chris A. Vissers. An Engineering Approach towards Action Refinement. In 5th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS 1995), August 28-30, 1995, Chenju, Korea, Proceedings. pages 266-273, IEEE Computer Society, 1995. [doi]