Tekstiviesti: Formal proof of the AVM-1 microprocessor using the concept of generic interpreters P. Windley, K. Levitt, G.C. Cohen. [microform] /