author = { Institut National de Recherche en Informatique et en Automatique Courcelle, Bruno AND Grigorieff, Serge },

title = { Logique et informatique une introduction },

publisher = {INRIA},

isbn = {2726106692},

year = {[1991]},

abstract = {Literaturangaben},

booktitle = {Collection didactique ; 8},

address = { Rocquencourt },

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