Bibliografía (6 obras)
From semantics to computer science
2009
La sécurité sur les chantiers du bâtiment
1988
Functional Programming Languages and Computer Architecture
1987
Semantics of data types
1984
A preliminary theory for parallel programs
1973
