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. In Department of Computer Science [CS] (N 8901). CWI.