Local de publicação venue para
- Refinement in hybridised institutions 2015
- Assertion-based slicing and slice graphs 2012
- Towards a linear algebra of programming 2012
- Representational Reasoning and Verification 2000
- A reification calculus for model-oriented software specification 1990
- A linear algebra approach to OLAP. 27:283-307. 2015
- Formal Aspects of Computing: Editorial. 21. 2009
- The cash-point (ATM) 'problem'. 12:211-215. 2000