Theory and Formal Methods 1993
-
heftet
,
Engelsk, 1993