Dijkstra-Scholten predicate calculus: concepts and misconceptions Lex BijlsmaRob Nederpelt Pages: 1007 - 1036
A transformation system for concurrent processes Nicoletta De FrancescoAntonella Santone Pages: 1037 - 1073
Axioms for generalized graphs, illustrated by a Cantor–Bernstein proposition Joost EngelfrietTjalling Gelsema Pages: 1075 - 1096