Calculational semantics: deriving programming theories from equations by functional predicate calculus. Boute RT. RT Boute - ACM Transactions on Programming Languages and …, 2006 - dl.acm.org GSID: Y0d5DXAY_SAJ
Concrete generic functionals. Boute RT. RT Boute - Generic Programming, 2003 - Springer GSID: 90pkZyhsBMMJ
Examples of distance learning projects in the European Community. [No authors listed] GSID: YVCESJsSUIoJ