Staroletov S. Design and implementation a software for water purification with using automata approach and specification based analysis // # 10, 2017
