(1)
Winskel, G. Semantics, Algorithmics and Logic: Basic Research in Computer Science. BRICS Inaugural Talk.
BRICS
1994
,
1
.