"Bengt Johansson"@cs . "B. Johansson"@cs .