Burakov, V. 2008. The methods of software design principles formal description. Information and Control Systems. 5 (Oct. 2008), 22-25.