Construction Program Management – Decision Making and Optimization Techniques(9783319207735 / 4 black & white illustrations, 36 colour)
SpringerLink DE
Springer-Verlag GmbH (9783319197968 / 44 black & white illustrations, biograph)
Springer (9783030336356) | Program Construction
(9783642058806)
(9783540436133 / 1) | Algebraic and Coalgebraic Methods
Springer Berlin Heidelberg (9783540601173 / 6909937) | Mathematics of Program Construction
