Ten years of Hoare’s logic: A survey (1983)

by Krzysztof R Apt
Venue:Part II: Nondeterminism. Theoretical Computer Science