@article{BSL9_3_Csirmaz,
author = {L{\'a}szl{\'o} CSIRMAZ},
title = {Remarks on Floyd-Hoare Derivability},
journal = {Bulletin of the Section of Logic},
volume = {9},
number = {3},
year = {1980},
pages = {131--135}
}