Winskel, G. (1994). Semantics, Algorithmics and Logic: Basic Research in Computer Science. BRICS Inaugural Talk.
BRICS Report Series
,
1
(1). https://doi.org/10.7146/brics.v1i1.21669