Notice de personne
- Notice
000 nx a22 3 45
001 FRBNF172285573
100 .. $a 20180207cfrey50 ba0
101 .. $a und
102 .. $a XX
105 .. $a a
106 .. $a 1
152 .. $c 2
200 .| $7 ba0yba0y $8 fre $9 $a Henson $b Martin C.
801 .. $a FR $b FR-751131015 $c 20180207
810 .. $a Logics of specification languages [Texte électronique] / Dines Bjørner, Martin C.
Henson, editors.- Berlin : Springer, cop. 2008