author = { Drabent, Włodzimierz AND Pietrzak, Paweł },

title = { Algebraic Methodology and Software Technology: Type Analysis for CHIP },

publisher = {Springer Berlin Heidelberg},

isbn = {0302-9743},

year = {1998},

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