@inproceedings{MP96, <br>AUTHOR = {Müller, S.M. and Paul, W.J.},<br>TITLE = {Making the Original Scoreboard Mechanism Deadlock Free},<br>YEAR = {1996},<br>URL = {http:///publikationen/MP96.pdf}, <br>BOOKTITLE = {IEEE Proceedings of 4th Israel Symposium on Theory of Computing and Systems (ISTCS)
}, <br>}