Rajaa
Hakutulokset: Hakutulos
Rajaa
yksi hakutulos.
Verified Software: Theories, Tools, Experiments
e-kirja,
2010,
englanti,
ISBN 9783642150579