1. Bertazzoni, C.and Giannotti, F. RASP: a Resource Allocator for Software Projects, Technical Report ESPRIT project 951 ( PACT ), SystemandManagement (1988).
2. Bjorner D.Formalization of Database Models,in Bjorner D. (a cura di), “Abstract Software Specifications”, “Lecture Notes in Computer Science”, Springer, Berlino 1980.
3. Bonsignori A., Giannotti F., Lucchesi L., and Turini F., The Logiform System, Computers and Mathematics with Applications, Vol. 20, n` 9–10, 1990
4. P. Carraresi, G. Gallo, N. Ciaramella, P. Lullia, L. Lucchesi, BDS: A system for the bus driver’ scheduling problem integrating combinatorial optimization and logic programming, Proceeding of 4th International Workshop on Computer Aided Scheduling of Pubblic Transport, Amburgo, 1987
5. Codd E. F., Extending the DatabaseRelational Model to Capture More Meaning, ACM TODS 4, 397–434 (1979).