Příprava laboratoře předmětu Programovatelné automaty - Kotisa, Juraj (2006)