@InCollection{kaldewaij:johan99,
author="Anne Kaldewaij",
title="Programming and Reasoning",
pages="/contribs/kaldewaij/",
crossref="
gerb:joha99
"
}