[buboard]

for the sake of completeness, both are good reads

https://homepages.cwi.nl/~storm/teaching/reader/Dijkstra68.p...

https://www.maths.ed.ac.uk/~v1ranick/papers/wigner.pdf