Formal definition of big-O when multiple variables are involved?
Bachman-Landau big O and similar notation for multiple variables is pretty well explained in the wikipedia article on big O notation, as well as papers like Rodney R. Howell's On Asymptotic Notation with Multiple Variables.