CWI
Department of Computer Science [CS]

van Glabbeek, R., & Goltz, U. (1989). Partial order semantics for refinement of actions : neither necessary nor always sufficient but appropriate when used with care. Department of Computer Science [CS]. CWI.