On refinement of generic state-based software components - Meng, Sun (2004)
10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004. Proceedings