One person I rarely hear mentioned did similar work: Per Brinch Hansen. He built OS’s with Concurrent Pascal and Edison. His papers are below for those curious:
First thing I see after opening a random paper[0]:
> Three decades ago, Dijkstra (1960) proposed the standard method of
dynamic memory allocation for recursive procedures in block structured,
sequential languages, such as Algol 60 (Naur 1963), Pascal (Wirth 1971)
and C (Kernighan 1978).
Sheeesh, Dijkstra, can you please not show up everywhere like you're the Euler of computer science for FIVE MINUTES?!
Seriously though, that looks like a very interesting collection, will have to search through that in more detail later. Also curious about SuperPascal[1]. The first release/latest stable release column on the wiki page is kinda funny[2].
http://brinch-hansen.net/papers/