Background: computational structures - Abramsky, Samson (Hrsg.) (Handbook of logic in computer science / eds. S. Abramsky ..., 1992)