Bukatin, 2015. Mathematics of Domains.