@inproceedings{MP90,
AUTHOR = {Müller, S.M. and Paul, W.J.},
TITLE = {Towards a Formal Theory of Computer Architecture},
VOLUME = {2},
YEAR = {1990},
PAGES = {157--169},
URL = {http:///publikationen/MP90.pdf},
SERIES = {Research in Informatics},
BOOKTITLE = {Proc. Parcella 90},
PUBLISHER = {Akademie Verlag},
}