On the Validation of Computer Science Theories [chapter]

B. J. MacLennan
1985 Empirical Foundations of Information and Software Science  
doi:10.1007/978-1-4613-2521-5_26 fatcat:bgffypqye5et5f7ru7mg4krige