Program algebra for random access machine programs


Abstract in English

Download