Odd Martinsen hasn't published anything yet.