Added section 4.1, 4.4 and 4.6 to Implementation section