@mastersthesis{Strejcek2001thesis,
 author = {Jan Strejček},
 school = {Masarykova univerzita, Fakulta informatiky, Brno},
 supervisor = {Antonín Kučera},
 title = {{Models of Infinite-State Systems with Constraints}},
 type = {Master's Thesis},
 url = {http://is.muni.cz/th/3366/fi_m/},
 year = {2001}
}