Meertens, Constructing a calculus of programs (0)

by L G L T
Venue:in [Snep89