Lover R. Elementary logic : for software development / R. Lover, 2008 r=on-line. - Текст : электронный.