Generic Models of the Laws of Programming

Bibliographic Details
Main Author: Hoare, T
Format: Conference item
Published: Springer 2013