The algebraic specification of abstract data types
An axiomatic basis for computer programming
Kinematics of the proximal tibiofibular joint is influenced by ligament integrity, knee and ankle mobility: an exploratory cadaver study