An axiomatics and a combinatorial model of creation/annihilation operators. - Fiore, Marcelo (Mathematical Structures in Computer Science, 2025)