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