Theoretical Computer Science, Volume 30
Ernst-Rüdiger Olderog:
Correctnes of Programs with Pascal-Like Procedures without Global Variables. 49-90 Robert de Simone:
On Meije and SCCS: Infinite Sum Operators VS. Non-Guarded Definitions. 133-138 Herbert Klaeren:
A Contructive Method for Abstract Algebraic Software Specification. 139-204
maintained by

, founded at
