Krzysztof R. Apt, Jan A. Bergstra, Lambert G. L. T. Meertens. Recursive Assertions are not enough - or are they?. Theoretical Computer Science, 8:73-87, 1979.
@article{AptBM79,
title = {Recursive Assertions are not enough - or are they?},
author = {Krzysztof R. Apt and Jan A. Bergstra and Lambert G. L. T. Meertens},
year = {1979},
researchr = {https://researchr.org/publication/AptBM79},
cites = {0},
citedby = {0},
journal = {Theoretical Computer Science},
volume = {8},
pages = {73-87},
}