I/O Logic in HOL. - Christoph Benzmüller; Ali Farjami; Paul Meder; Xavier Parent 001 (FLAP, 2019)