
1 - American mathematical society translations - Series 2 - Volume 17 |
2 - Semantics of data types : International symposium Sophia-Antipolis, France, June 27 - 29, 1984, Proceedings |
1 - American mathematical society translations - Series 2 - Volume 17 |
2 - Semantics of data types : International symposium Sophia-Antipolis, France, June 27 - 29, 1984, Proceedings |