FUNCTIONAL PROGRAMMING WITH APOMORPHISMS (CORECURSION); pp. 147–161

PROGRAM SPECIFICATION BY TYPED GUREVICH MACHINES; pp. 162–173

PREFIXED TABLEAUS FOR THREE-VALUEDMODAL PROPOSITIONAL LOGICS; pp. 174–185

MSCPDL – A LANGUAGE FOR BEHAVIOURAL ABSTRACTION; pp. 186–197

A SPECIFICATION FORMALISM FOR INTERACTING OBJECTS; pp. 198–215

CONTEXT-DEPENDENTMINIMIZATION OF STATE/EVENT SYSTEMS; pp. 216–228

DIVERSORS AND HIGHER-ORDER FUNDAMENTAL SOLUTIONS OF COVARIANT WAVE EQUATIONS; pp. 229–242