Quantization of non-linear wave equations