| |
| 2009 | ||
|---|---|---|
| 2 | EE | Michael Johnson, David Naumann, John Power: Category Theoretic Models of Data Refinement. Electr. Notes Theor. Comput. Sci. 225: 21-38 (2009) |
| 1986 | ||
| 1 | Valdis Berzins, Michael Gray, David Naumann: Abstraction-Based Software Development. Commun. ACM 29(5): 402-415 (1986) | |
| 1 | Valdis Berzins | [1] |
| 2 | Michael Gray | [1] |
| 3 | Michael Johnson | [2] |
| 4 | John Power (A. John Power) | [2] |