@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},

Warning: Undefined variable $SERVER_NAME in /www/www-wjp/includes/bibtexentry.php on line 42
URL = {http:///publikationen/MP90.pdf},
SERIES = {Research in Informatics},
BOOKTITLE = {Proc. Parcella 90},
PUBLISHER = {Akademie Verlag},
}