Temporal Assertions with Parametrised Propositions | Publicación