Title: Reusable software component retrieval via normalized algebraic specifications