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