Skip to main content

In praise of algebra

Tony Hoare and Stephan van Staden

Journal
Formal Asp. Comput.
Number
4−6
Pages
423−431
Volume
24
Year
2012