An interview with Dave Parnas