Program algebra for random access machine programs

الملخص بالإنكليزية