"Martin Bakula"@cs .