Морфізм формальності як механізм $\star$-асоціативності: як це працює. ЗПІМ 2019, 16 (1), 22-43.