Zoltán Ésik
Stephen L. Bloom and Zoltá Ésik.
Floyd-Hoare logic in iteration theories.
Journal of the ACM
, 38(4):887-934, October 1991.
References, Citations, etc.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database