@article{GENERAL,
      recid = {8657},
      title = {ADA and Large Real-Time Systems in the Royal Navy},
      journal = {Journal of Naval Engineering},
      address = {1990},
      number = {GENERAL},
      abstract = {ADA and Large Real -Time Systems in the Royal  Navy.
December 1990. 
D. W. DAVIES, B.Sc.(ENG).},
      url = {http://library.imarest.org/record/8657},
}