Objektově orientované a logické programováníTištěná knihaPátek Vít, Zahradník Zbyněk, Jančík JaroslavZápadočeská univerzita v Plzni1991978-80-7043-027-9 (brož.)