Ciência da ComputaçãoLisp-Stat – an Object-Oriented Environment for Statistical Computing and Dynamic Graphics
Ciência da ComputaçãoConcurrency Theory – Calculi an Automata for Modelling Untimed and Timed Concurrent Systems
