Bulletin of the EATCS (Revised ed.).
Bulletin of the EATCS (מהדורה Revised).