A generalization of Dijkstra’s calculus (1989)

by Greg Nelson
Venue:ACM Transactions on Programming Languages and Systems