Indrzejczak, A. (2014). Powstanie i ewolucja rachunków sekwentowych. Filozofia Nauki, 22(4), 53–70. Pobrano z https://www.fn.uw.edu.pl/index.php/fn/article/view/773