00536cam a2200157 a 450000500170000000800410001702000150005803500150007305000210008824501220010926000300023130000100026144000490027165000430032070000150036320260817162109.0080619s1991    gw      r     000|0 eng d  a3540540601  a.b10066081 4aQA76.9 A23bA44400aAlgebraic system specification and development :ba survey and annotated bibliography /cM. Bidoit ... [et al.], eds.  aBerlin :bSpringer,c1991  a98 p. 0aLecture notes in computer science ;vno. 501 0aAbstract data types (Computer science)1 aBidoit, M.