VAWKUM trans. comput. sci.