| Programming from specifications C Morgan Prentice-Hall, Inc., 1990 | 2371 | 1990 |
| Specification case studies B Flinn Prentice-Hall International, 1987 | 863 | 1987 |
| Laws of programming CAR Hoare, IJ Hayes, H Jifeng, CC Morgan, AW Roscoe, JW Sanders, ... Communications of the ACM 30 (8), 672-686, 1987 | 591 | 1987 |
| Abstraction, refinement and proof for probabilistic systems A McIver, C Morgan Springer Science & Business Media, 2005 | 540 | 2005 |
| The specification statement C Morgan ACM Transactions on Programming Languages and Systems (TOPLAS) 10 (3), 403-419, 1988 | 493 | 1988 |
| The refinement calculus C Morgan Program Design Calculi, 3-52, 1993 | 408 | 1993 |
| Probabilistic predicate transformers C Morgan, A McIver, K Seidel ACM Transactions on Programming Languages and Systems (TOPLAS) 18 (3), 325-353, 1996 | 399 | 1996 |
| Specification of the UNIX filing system C Morgan, B Sufrin IEEE Transactions on Software Engineering, 128-142, 1984 | 209 | 1984 |
| Data refinement by calculation C Morgan, PHB Gardiner Acta Informatica 27 (6), 481-503, 1990 | 195 | 1990 |
| Data refinement of predicate transformers P Gardiner, C Morgan Theoretical Computer Science 87 (1), 143-162, 1991 | 171 | 1991 |
| Refinement of state-based concurrent systems JCP Woodcock, C Morgan International Symposium of VDM Europe, 340-351, 1990 | 145 | 1990 |
| A single complete rule for data refinement PHB Gardiner, C Morgan Formal Aspects of Computing 5, 367-382, 1993 | 140 | 1993 |
| Specification statements and refinement C Morgan, K Robinson IBM Journal of Research and Development 31 (5), 546-555, 1987 | 133 | 1987 |
| Characterising testing preorders for finite probabilistic processes Y Deng, M Hennessy, R van Glabbeek, C Morgan Logical Methods in Computer Science 4, 2008 | 125 | 2008 |
| Refinement-oriented probability for CSP C Morgan, A McIver, K Seidel, JW Sanders Formal aspects of computing 8 (6), 617-647, 1996 | 121 | 1996 |
| Of wp and CSP C Morgan Beauty Is Our Business: A Birthday Salute to Edsger W. Dijkstra, 319, 2012 | 119* | 2012 |
| Probabilistic guarded commands mechanized in HOL J Hurd, A McIver, C Morgan Theoretical Computer Science 346 (1), 96-112, 2005 | 117 | 2005 |
| Linear-invariant generation for probabilistic programs: Automated support for proof-based methods JP Katoen, AK McIver, LA Meinicke, CC Morgan Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France …, 2010 | 112 | 2010 |
| A new proof rule for almost-sure termination A McIver, C Morgan, BL Kaminski, JP Katoen Proceedings of the ACM on Programming Languages 2 (POPL), 1-28, 2017 | 102 | 2017 |
| Data refinement by miracles CC Morgan Information Processing Letters 26 (5), 243-246, 1988 | 101 | 1988 |
Annabelle McIverMacquarie UniversityVerified email at mq.edu.au