Úvod do formální metody pro kombinování CLI a GUI

SÁDOVSKÝ, Adam - PERGL, Petr. Úvod do formální metody pro kombinování CLI a GUI. In Objekty 2009. Vyd. 1. xiv, 328 s. ISBN 978-80-7435-009-2 (brož. : neprodejné) Objekty 2009. Hradec Králové : Gaudeamus, 2009, s. 305-310.