1. Abrial, J. R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press (1996)
2. B-CORE: B-Toolkit Release 3.2. Manual. Oxford, UK (1996)
3. Barros, R.S.M.: Deriving relational database programs from formal specifications. In: Naftalin, M. Denvir, B.T. Bertran, M. (eds.) Industrial Benifit fo Formal Method, Second International of Formal Methods Europe (FME’94), vol. 873 of LNCS, Springer-Verlag (19941)
4. Barros R.S.M.: On the formal specification and derivation of relational database application. Ph.D thesis, Department of Computing Science, the University of Glasgow (1994b)
5. Barros, R.S.M.: On the formal specification and derivation of relational database applications. Elec Notes in Theoretical Comptuer Science 14 (1998)