  This master's thesis contains an introduction to $A_\infty$-algebras and
homological perturbation theory. We then discuss the formality of compact
K\"ahler manifolds and present a direct proof of a homotopy transfer principle
of $A_\infty$-algebras, also known as Kadeishvili's Theorem.

Rings and Algebras;Algebraic Topology