@InCollection{moss:johan99,
author="Lawrence S. Moss",
title="From Hypersets to Kripke Models in Logics of Announcements",
pages="/contribs/moss/",
crossref="
gerb:joha99
"
}