Fred Kröger
Logical Rules of Natural Reasoning about Programs
ICALP, 1976.
@inproceedings{ICALP-1976-Kroger,
author = "Fred Kröger",
booktitle = "{Proceedings of the Third International Colloquium on Automata, Languages and Programming}",
isbn = "0-85224-308-1",
pages = "87--98",
title = "{Logical Rules of Natural Reasoning about Programs}",
year = 1976,
}