An introduction to programming with specifications : a mathematics approach /
Kubiak, Ryszard.
Rudzinski, Roman.
Sokolowski, Stephan.
London : Academic,
1991.
Includes index.
Electronic digital computers