Investigating a new formal model for a library system using B method. - Mohammad Reza Nami; Hamid Razavi; Milad Saeedi; Navid Shahidi (ACM SIGSOFT Softw. Eng. Notes, 2009)