Գրեք սա: Foundations of software science and computational structures :