Mis on tarkvara dünaamika analüüs? : kommentaar Eesti Vabariigi teaduse aastapreemia pälvinud tööle "Reaalaja tarkvara dünaamika analüüs"Mõtus, LeoTallinna Tehnikaülikooli aastaraamat 19951996 / lk. 97-99