Revision history for entry Bauer, Andreas (manuscript). "A first-order policy language for history-based transaction monitoring" [BAUAFP-2]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes