A New Computational Model and Its Discipline of Programming (1986)

by J-P Banatre, D L Metayer