Investigation and development of test generation methods for control part of digital systems
Brik, Marina
2002
http://www.ester.ee/record=b1688656*est