Kate Finney;Keith Rennolls;Alex Fedorec
-;-;-
API documentation with executable examples
Journal of Systems and Software
Measuring Z specifications
ACM SIGSOFT Software Engineering Notes