Towards structured specifying : theory, practice, applications /
Mili, Ali.
Boudriga, Noureddime.
Mili, Fatma.
Chichester Ellis Horwood
1989
Electronic digital computers