An Operational Account of Call-by-Value Minimal and Classical lambda-Calculus in "Natural Deduction" Form