Plenum Series in Computer Science