Automation of testing, specification languages and CASE tools - Kalniņš, Audris (My University, 1997)