axiomatic foundation of the circle plane with orthogonality / Vladimir Volenec
1