@inbook{7aaeb2a79fd14681a8e645478cf82eba,
title = "On mathematical induction and the invariance theorem",
abstract = "No abstract.",
author = "R.R. Hoogerwoord",
year = "1990",
language = "English",
isbn = "0-387-97299-4",
series = "Texts and monographs in computer science",
publisher = "Springer",
pages = "206--211",
editor = "W.H.J. Feijen and {Gasteren, van}, A.J.M. and D. Gries and J. Misra",
booktitle = "Beauty is our business : a birthday salute to Edsger W. Dijkstra",
address = "Germany",
}