The generic model query language GMQL - Conceptual specification, implementation, and runtime evaluation
Computers And Intractability A Guide To The Theory Of Np Completeness