https://9pdf.net/document/y963d6xw-crossed-product-uhf-algebra-shift.html