00290nam a22001337a 4500003000400000005001700004008004100021020001500062040000700077082001500084100001200099245003600111260000900147OSt20211221111427.0211221b        |||||||| |||| 00| 0 eng d  a0442225563  cHu  a001.64/WAR  aWarnier  aLogical Construction Of Systems  c1981