Formal Relational Database Design: An Exercise in Extending the Formal Template Language
N. Wu and A. C. Simpson
Journal
Formal Aspects of Computing
Number
6
Pages
1231–1269
Volume
26
Year
2014
N. Wu and A. C. Simpson