I've used Practica Musica in the past, I believe, but I've never heard of Mibac or Auralia.... As I recall, I thought PM was okay, but I never used it much; my piano teacher let me borrow two of his college music theory textbooks, and I primarily just went through them.
-Nick
