00283pam a2200121 a 4500020000500000041000500005082001500010100001900025245007000044250001000114260002100124300001600145  c  h  a005.1bBJO  aDines Bjorner.  aSoftwear Engineering-3bSoftwear Engineering-3hTextual Documents  a2006.  a[s.l]:bSpringer  a766:bHard.