@book{ahoa:83,
        title = {Data structures and algorithms},
        author = {Alfred V. Aho and John E. Hopcroft and Jeffrey D. Ullman},
        publisher = {Addison Wesley},
        year = 1983,
        id = {1431225},
	priority = {2},
	biburl = {http://www.bibsonomy.org/bibtex/24c3dcc050b3f155eabbd31b615f123b1/schaal},
	keywords = {data-structure algorithm}
}

@article{alurr:94,
        title = {A theory of timed automata},
        author = {Rajeev Alur and David L. Dill},
        journal = {Theoretical Computer Science},
        month = {April},
        number = 2,
        pages = {183--235},
        volume = 126,
        year = 1994,
        id = {1431229},
	priority = {2},
	biburl = {http://www.bibsonomy.org/bibtex/20d231cf3438db33fc4c9a1cabf9c1c03/schaal},
	keywords = {theory decision finite finitely algorithm languages muller state-transition buchi union real-time boolean timing acceptance systems functions intersection timed problems sequences constraints universality problem subclasses properties clocks inclusion conditions many infinite formal real-valued automata closure language operations pspace graphs}
}