Especificação, execução e raciocínio sobre ações e planos utilizando a lógica de transações
Marcus Vinícius Tolentino dos Santos Márcio Rillo 1953-2010; Flávio Soares Corrêa da Silva
1999
Localização:
EPBC - Esc. Politécnica-Bib Central
(FT-1400 ) e outros locais(Acessar)