Processes, terms and cycles: steps on the road to infinity essays dedicated to Jan Willem Klop on the occasion of his 60th birthday
Jan Willem Klop; Aart Middeldorp; Vincent van Oostrom; Femke van Raamsdonk; Roel de Vrijer
Berlin u.a. Springer 2005
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.3838 ) e outros locais(Acessar)