From 1-4 April 1986 a Symposium on Algebraic Groups was held at the University of Utrecht, The Ne...

This book is a complete account of the predicate transformation calculus semantics of sequential ...