Pierce, Benjamin C. Basic Category Theory for Computer Scientists. pp.  53.
نظریه حوزه‌ها ماشین محاسبه تورینگ Pierce, Benjamin C. Basic Category Theory for Computer Scientists. pp.  53.