Dunne S. Unifying theories of programming : 1st international symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006: revised selected papers / eds.: S. Dunne, B. Stoddart, 2006 r=on-line. - Текст : электронный.
Приложение
для Android