@InCollection{hoek:johan99,
author="Wiebe van der Hoek and John-Jules Meyer",
title="A Postscript to a Completeness Proof for Johan",
pages="/contribs/hoek/",
crossref="
gerb:joha99
"
}