Algebra of Logic Programming

Podrobná bibliografie
Hlavní autoři: Seres, S, Spivey, J, Hoare, C
Médium: Conference item
Vydáno: MIT Press 1999