Untersuchungen zur Verifikation eines Multirechnersystems. - Tomasz Stachowiak (1989)

Algebraic structure behind Odrzywołek's EML operator. - Tomasz Stachowiak (CoRR, 2026)