A New Algorithm for the Determinisation of Visibly Pushdown Automata - Radomír Polách; Jan Travniček; Jan Janoušek; Bořivoj Melichar (Annals of computer science and information systems)