@InCollection{pauly:johan99,
author="Marc Pauly",
title="Game Constructions that Are Safe for Bisimulation",
pages="/contribs/pauly/",
crossref="
gerb:joha99
"
}