Գրեք սա: Перспективы развития в системном и теоретическом программировании :