"Josef Selinger"@cs .