Software process validation: quantitatively measuring the correspondence of a process to a model (1999)

by J E Cook, A L Wolf
Venue:ACM Transactions on Software Engineering and Methodology (TOSEM