nakladatel: Univerzita Karlova, Institut teoretické informatiky
vydána: 2001, Praha
jazyk: čeština, angličtina