1
A discrete strategy improvement algorithm for solving parity games /
Book
2
High-level parallel programming and the efficient implementation of numerical algorithms /
Book