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