Program algebra for Turing-machine programs


Abstract in English

Download