• Publications
• Programming from Specifications is available on the web.

• Abstraction, Refinement and Proof for Probabilistic Systems was published in early 2005.

-----BEGIN PGP PUBLIC KEY BLOCK-----
Version: GnuPG/MacGPG2 v2.0.22 (Darwin)
Comment: GPGTools - https://gpgtools.org

mQENBFRB5fABCACvgtJIZrb+An0f27vwEyhGf/E//b+8fNa9gl3jLmjg6uU46rSW
ekXPoyAeEjwosuMvZtW/wSDzeJ8ooDDBkPo1ciprkxg7KO9ryNXX+QXra7batUIG
E9Fap2B1dsjpMj03gM/FOXBD5Ih/sv0stO++nPIe18/N8hTG9ugLgH3neclWlGNS
8/Hc/7YZFKrYf+LTaC7jH/Gyvn4gkVuFof2NPkM8+81jP1UdBu9yVIVOZwpD/wkk
CvPP+ItTDO+UCol3PaXvEIxaHCJWWfAXlHnKJN2p3OP7O2BiHCuPIKaxu4xRtFbY
Gam2pSBLJoXVb2UCwoybF/Yp3Z1vK0pJvxrJABEBAAG0PUNhcnJvbGwgTW9yZ2Fu
IChHZW5lcmF0ZWQgMTh4MjAxNCkgPGNhcnJvbGxtQGNzZS51bnN3LmVkdS5hdT6J
AT0EEwEKACcFAlRB5fACGwMFCQeGH4AFCwkIBwMFFQoJCAsFFgIDAQACHgECF4AA
CgkQ/8Gm+nzmpO6yewf/c7LxQlJ1AKzAl4JxseS/YEBajIKjHVLOJe06hSLVDMGS
Mll9UEqcOg2wKC3Luki6kw0Kfs6feQKadNBtOprsUieFmg9he3NP2YN+D+WAZBDH
62etIhmFgMCwf+dIpBN2so9TWiBiiXpb9JtM5ZWRKMK41KN9gx2uuQCnOU1SVflO
DUoy/Q+uZRJcWJKkqPUHjXpIdauciQNk8wAN+HgfH2iKZdoRMPJ07egTDe7gH6bY
EblvDoyMmpnCOWB9vzUlN2AjgU+/gdXeW03SyUOlrsZcii/XMqPh6SfdnzjKISpE
otk4xfGXTZoFd5dqq/ExnqgZdjeuRkqb02CQzG7gkbkBDQRUQeXwAQgAoVxAkhB2
4RwTeEQVy1V9ej1Drc794+BICCxnVYl+/q8tUucAtMR16VCZy2JrkPEqDrRgiqHE
BgDL3LeGZAdd5fjj2OwEZSUUkPyTpAOgcIxS/K7DNui2MCeB48sbPA5mYhEk2x/c
XYm8W2x/T60iYTdmo95PeDAFaiR6izZ2E+W79ct0Csijz5whCGu4Ptv5UULZO51S
HseORE2qBhbZtbKbu42ClL7xV1tUxNjG1kxbe5TUE+6Y8GfdQkyLpkvgcbb0Kli+
xbcdFwVFoIpKhdR15FrfCazswAm/hrx9EAZhwl9/Uz2wE2kZosL8gC6QVRbfgu00
y9EgWHobxIj98wARAQABiQElBBgBCgAPBQJUQeXwAhsMBQkHhh+AAAoJEP/Bpvp8
5qTuSY8H/Rz8yBa4ks1DPz6+Qxqk1w1Vl6jQv86bzhFvbcrG9vpEm7FDfOYQc5iH
y7U1Li6Hzoea+wIBcxkO8HQYPexDVEWzMwUw/pdH1RDTkTgglfWhlzj4yn25H8Gh
q5BNJUIi8kWaVxbz2UVGDng1egYE9QHdqwq7kSkUNBarDelT8H/Gr+wIcj6h8d+L
g3zZ0izH/hbXcmGv0TANSQDw+LqPU6+UA3vK66BdftcwmEXmSEPspBtRRnYuLJQ8
Brf+bdMZqx8ZrFwABRkQo1XTLa+taYYqFxGvEivisOqYbz90eUtUonYBepYDktnx
4pmSTOSTyBTUaLP3p4tAcwspvalww6k=
=b4S+
-----END PGP PUBLIC KEY BLOCK-----