Soupis publikovaných prací

řazený podle roku vydání, typu dokumentu a názvu, zpracovaný
v říjnu 2015 knihovnou Ústavu informatiky AV ČR, v.v.i.
k příležitosti 70. narozenin autora.