The unification of three calculi (1993)

by E W Dijkstra
Venue:Program Design Calculi