author = { Rensink, Arend AND Gorrieri, Roberto },

title = { Vertical bisimulation },

publisher = {Inst. für Informatik},

year = {1998},

booktitle = {Hildesheimer Informatik-Berichte ; 98,9},

address = { Hildesheim },

url = { http://slubdd.de/katalog?TN_libero_mab2 }