@inbook{3dface3b80da4882a9927f6a55ddfc6f,
title = "Calculations with relations, an example",
abstract = "Predicate transformer semantics (PTS) has proved to be very fruitful, in particular for program derivation. It is well known, although not very well documented, that the version of PTS with universal conjunctivity for wlp and without the law of the excluded miracle is equivalent to some relation semantics (RS).",
author = "{Woude, van der}, J.C.S.P.",
year = "1990",
doi = "10.1007/978-1-4612-4476-9_53",
language = "English",
isbn = "978-1-4612-8792-6",
series = "Texts and monographs in computer science",
publisher = "Springer",
pages = "435--441",
editor = "W.H.J. Feijen and {Gasteren, van}, A.J.M. and D. Gries and J. Misra",
booktitle = "Beauty is our business : a birthday salute to Edsger W. Dijkstra",
address = "Germany",
}