Eric G. Wagner. A Categorical View of Weakest Liberal Preconditions. In David H. Pitt, Samson Abramsky, Axel Poigné, David E. Rydeheard, editors, Category Theory and Computer Programming, Tutorial and Workshop, Guildford, UK, September 16-20, 1985 Proceedings. Volume 240 of Lecture Notes in Computer Science, pages 198-205, Springer, 1985.
Abstract is missing.