W. H. Hesselink
Univ. of Groningen, Groningen, The Netherlands
A generalization of Dijkstra's calculus
ACM Transactions on Programming Languages and Systems (TOPLAS)
WP semantics and behavioral subtyping
ICTAC'11 Proceedings of the 8th international conference on Theoretical aspects of computing