The weakest precondition calculus: Recursion and duality
Crossref DOI link: https://doi.org/10.1007/BF01213603
Published Print: 1994-11
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Bonsangue, Marcello M.
Kok, Joost N.
Text and Data Mining valid from 1994-11-01