Logika - A. Vloemans (Erlangga, 1999)
ir, c.1/tr, c.2-3/stoc5.c1-3/ws.c.4