An algebraic approach to veri able compiling speci cation and prototyping of the ProCoS level 0 programming language (1990)

by C A R Hoare, He Jifeng, J P Bowen, P K Pandya
Venue:In Directorate-General of the Commission of the European Communities (ed.), ESPRIT '90 Conference Proceedings, Brussels