@InCollection{hodges:johan99,
author="Wilfrid Hodges",
title="A Formality",
pages="/contribs/hodges/",
crossref="
gerb:joha99
"
}