Introduction à la théorie des systèmes formels: Deuxième partie - Miéville, Denis (My University, 1987)