Syntéza systémov s obmedzeniami. 2, Základné štruktúry - Huba, Mikuláš (Edícia príručiek, 2003)