Еще в Обероне можно писать так:
## Код:
```
MODULE A
  CONST
  TYPE
  VAR
  PROCEDURE P;
  END P;
END A.
```

То есть можно еще писать процедуры без BEGIN, и секции CONST TYPE VAR без описаний переменных.