Marcello M. Bonsangue, Joost N. Kok. The Weakest Precondition Calculus: Recursion and Duality. Formal Asp. Comput., 6(6A):788-800, 1994.
@article{BosangueK94, title = {The Weakest Precondition Calculus: Recursion and Duality}, author = {Marcello M. Bonsangue and Joost N. Kok}, year = {1994}, researchr = {https://researchr.org/publication/BosangueK94}, cites = {0}, citedby = {0}, journal = {Formal Asp. Comput.}, volume = {6}, number = {6A}, pages = {788-800}, }