!!David Harel- Publications
\\
[Complete list of publications|http://www.wisdom.weizmann.ac.il/~harel/papers.html]
\\ \\