Stefano Bonzio, Michele Pra Baldi, Diego Valota: Counting Finite Linearly Ordered Involutive Bisemilattices. RAMiCS 2018: 166-183