Problematic features of programming languages: a situational-calculus approach Zohar MannaRichard Waldinger OriginalPaper Pages: 371 - 426