1
Vydáno 1993
“...Workshop on Concurrency in Computational Logic Londýn, Anglie)...”
Kniha