![](/img/cover-not-exists.png)
An algebraic construction of predicate transformers
Paul H.B. Gardiner, Clare E. Martin, Oege de MoorVolume:
22
Year:
1994
Language:
english
Pages:
24
DOI:
10.1016/0167-6423(94)90006-x
File:
PDF, 1.44 MB
english, 1994