Stream Based Design of Distributed Systems through Refinement.

@article {625,
	title = {Stream Based Design of Distributed Systems through Refinement.},
	year = {2003},
	note = {Doctoral thesis. Berlin: Logos Verlag Berlin 2003. xii+218 pages [ISBN 3-8325-0462-1]},
	author = {A. St{\"u}mpel}
}