1
2
by Manna, Zohar
Published in Acta informatica
electronic Article
5
6
7
8
10
11
12
13
18
by Manna, Zohar
Published 1992-
Book
20