Extended introduction and added table for implementation details