On a Method of Verification of Functional Programsстатья

Дата последнего поиска статьи во внешних источниках: 2 декабря 2016 г.