Notes on predicate transformers and concurrent programs - Best, Eike 1951- (1980)