000 00565nam a22001817a 4500
001 38582
003 BD-DhUET
008 160224b xxu||||| |||| 00| 0 eng d
040 _aDLC
_cDLC
_dBD-DhUET
082 _a625
_bZIG/1984
100 _aZigterman, Lieuwe
245 _aNew approach to specification and design of a railway-interlocking
_bthe "route" approach : an exercise in top-down design with stepwise refinement
250 _a1st ed.
260 _aNethearland
_bThe Author
_c1984
300 _a295p.
_bills.
650 0 _aRailway engineering
942 _cGB
999 _c38582
_d38582