19th MICRO 1986:
New York, NY, USA
Stanley Habib:
Proceedings of the 19th annual workshop on Microprogramming, New York, NY, USA, October 15-17, 1986. ACM/IEEE 1986, ISBN
0-8186-0736-X J. M. Foster:
Formally based static analysis of microcode. 162-170
maintained by

, founded at
