David Gries. Basic Axiomatic Definitions. In Friedrich L. Bauer, Manfred Broy, editors, Program Construction, International Summer School, July 26 - August 6, 1978, Marktoberdorf, germany. Volume 69 of Lecture Notes in Computer Science, pages 94-99, Springer, 1978.
@inproceedings{Gries78c,
title = {Basic Axiomatic Definitions},
author = {David Gries},
year = {1978},
researchr = {https://researchr.org/publication/Gries78c},
cites = {0},
citedby = {0},
pages = {94-99},
booktitle = {Program Construction, International Summer School, July 26 - August 6, 1978, Marktoberdorf, germany},
editor = {Friedrich L. Bauer and Manfred Broy},
volume = {69},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-09251-X},
}