Analyzátor logických kombinačných obvodov s hradlovou štruktúrou - Kiselkov, Peter (STU v Bratislave FIIT, 2005)