Algebra of Logic Programming

Detalhes bibliográficos
Principais autores: Seres, S, Spivey, J, Hoare, C
Formato: Conference item
Publicado em: MIT Press 1999