Showing 1 - 1 results of 1 Refine Results  

Algebraic semantics of imperative programs

by Goguen, Joseph
Year of Publication 1996
Full text
eBook