http://mathoverflow.net/questions/13005/what-is-formal
http://www.ncatlab.org/nlab/show/formal+dg-algebra
http://mathoverflow.net/questions/32889/a-few-questions-about-kontsevich-formality
nLab page on Formality