Foundations for the run-time analysis of software systems (2000)

by M Viswanathan