@article{mci/Fleischmann1984,
author = {Fleischmann, A. AND Holleczek, Peter AND Koch, J. AND Kragl, G.},
title = {Eine Spezifikationstechnik für verteilte Systeme},
journal = {},
volume = {},
number = {},
year = {1984},
,
pages = { 80-88 }
}