Modular Forms on Half-spaces of Quaternions (Lecture Notes in Mathematics Ser.)