Fun factor for game developers: an old article presenting some basic ideas about game design for achieving the fun factor in games
HQL - HHM's Quantified Lambda: original paper defining the semantics of a small functional language, whose expressions can involve the use of quantifier operators