Adam Day, Michael Fellows, Noam Greenberg, Bakhadyr Khoussainov, Alexander Melnikov, Frances Rosamond Computability and Complexity - Springer Springer 2017 ISBN: 9783319500621 Source: EBOOK