@article{HornKoutzevlovRaetschetal.1996,
  author    = {Erika Horn and Atanas Koutzevlov and Gunnar R{\"a}tsch and Wolfgang Schubert and Alexej Tschapek},
  title     = {Software system specification},
  journal   = {HGG-Dokument},
  volume    = {UPHGG.010.4},
  year      = {1996},
}