nlab on formally smooth morphism, see also formally smooth scheme.
I think Toen also talks about this in some articles related to algebraic stacks.
nLab page on Formal smoothness