ACM transactions on software engineering and methodology (ACM series on computing methodologies, 1992)