Tagged Systems: A Framework for the Specification of History-dependent Properties | Publicación