https://9lib.org/document/lq5n8djq-class-special-flows-irrational-rotations-disjoint-mixing-flows.html