Special Abstract State Machines Issue of Journal of Universal Computer Science