"popek and goldberg" - related articles and key terms