Approximate algorithms for some generalized knapsack problemsAshok K. ChandraD.S. Hirschberget al.1976Theoretical Computer Science
Correctness of parallel programs: The Church-Rosser approachBarry K Rosen1976Theoretical Computer Science