william nygaard