I hope that @George Beck does not object, but here is an updated version of Michael Foale's notebook on The Rotational Dynamics of Mir—which also appeared in The Mathematica Journal 7(3)—with the following changes:
- TraditionalForm is used for the equations and derivations;
- the built-in RotationMatrix and EulerMatrix are used for rotational transformations;
- a NASA Mir model as a 3DS file is imported and manipulated directly (thanks to @Christopher Wolfram for the suggestion).