_SIGOPS Oper. Syst. Rev., Vol. 30, No. 1. (January 1996), pp. 4-15._
November 8, 2005
A data structure for manipulating priority queues
_Commun. ACM, Vol. 21, No. 4. (April 1978), pp. 309-315._
Generalized first-order spectra and polynomial-time recognizable sets.
_Complexity of Computation, Vol. 7 (1974), pp. 43-74._
x86 Servers Brace for a Hurricane.
If you read between the lines. there’s a pretty good hint as to one of the things I’m involved with (I can neither confirm nor deny that the moon is made out of green cheese!).