A formal framework for the design and specification of neural networksDimitris DranidisAgotado4,3Notifícame