Cover unavailable English Unordered Formal Aspects of Computing Wu, Nicolas; Simpson, Andrew 2014 May 27 View book
