Minsky Machines

Bertram Felgenhauer
Archive of Formal Proofs 2018.

abstract   BibTeX    
AFP entry