Publisher
Springer Nature Switzerland
Reference41 articles.
1. Aarts, C., Backhouse, R.C., Hoogendijk, P., Voermans, E., van der Woude, J.: A relational theory of datatypes, Deceber 1992. http://www.cs.nott.ac.uk/~rcb
2. Lecture Notes in Computer Science;JR Abrial,1979
3. Backhouse, R.C.: Mathematics of Program Construction. Unpublished book draft, 608 p. University of Nottingham (2004). http://www.cs.nott.ac.uk/~rcb
4. Berghammer, R., Neumann, F.: RelView - an OBDD-based computer algebra system for relations. In: CASC’05, pp. 40–51 (2005). https://doi.org/10.1007/11555964_4
5. Bird, R., de Moor, O.: Algebra of Programming. Prentice Hall Europe (1997). ISBN 978-0-13-507245-5