D. Hestenes. Clifford Algebras and their Applications in Mathematical Physics, Volume 55 von Fundamental Theories of Physics, Springer Netherlands, (1993)
G. Sobczyk. Clifford Algebras and their Applications in Mathematical Physics, Volume 47 von Fundamental Theories of Physics, Springer Netherlands, (1992)
M. Lochau, S. Mennicke, H. Baller, und L. Ribbeck. Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, Volume 8802 von Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2014)