Dilip Bayen and Bob Bruner
Real connective K-theory and the quaternion group