Refinement and demonic semantics (1997)

by J Desharnais, A Mili, T Nguyen
Venue:Schmidt (Eds.), Relational Methods in Computer Science