1-2 of 2 Books
Top-down structured programming techniques
By Clement L. McGowan
Compositionality, concurrency, and partial correctness
By J. Zwiers