Compiling Quantamorphisms for the IBM Q Experience. - Ana Neri; Rui Soares Barbosa; José N. Oliveira (IEEE Trans. Software Eng., 2022)