Nice documentation. Ada looks a lot like Pascal. It is interesting that SPARK is a subset of subset of Ada.
MODULE X;
...
END MODULE X.
and Ada's: package X is
...
end X;
Ada's package feels like one statement containing others, whereby Modula's looks like it ends on the first line.C description tends to refer to ALGOL influence, but it just boils down to structured programming and the data types. Syntax has nothing from ALGOL.