TY  - RPRT
TI  - Using Hoare logic in a process algebra setting
AU  - J. A. Bergstra
AU  - C. A. Middelburg
PY  - 2020
DO  - 10.3233/fi-2021-2026
UR  - https://arxiv.org/abs/1906.04491
ID  - 1906.04491
ER  -