Contributions by Naur, Albert