Program verification with algorithmic logic - Zalewska, Anna ( -2008). (Warsaw : Philomath, 2001)
Bibliogr. s. 101-105.
Keywords: Logika; Algorytmy