Program construction : calculating implementations from specifications.

Backhouse, Roland.

Program construction : calculating implementations from specifications. - N D Wiley 2004 - 332p.

005.1 B127P