"Mathematical aspects of computer science"@en . . . "3"^^ . "PE1_16" . . . "PE1_16" . . "3" .