database programming language
Subtitle: definition, implementation and correctness proofs.
Series: Technical report series -- UMCS-84-10-1
Publisher: Dept. ofComputer Science, Univ. of Manchester
Published: 1984
Place of publication: Manchester
Language: eng
Number of pages: 124
Notes: Thesis (Ph. D.).