KindSoftware regularly publishes whitepapers on a variety of topics.
At the right you'll find our most recent whitepapers.
A recent (December 2012) lengthy whitepaper on orchestrating with contracts is available.
We have published our rigorous software engineering coding standard, which includes a special section on Java. We have several papers published about the semantics of this standard. We also have customized static checkers in the Mobius PVE for ensuring conformance to this standard.
We also have the answers to exercises from the main text used to teach the semantics of imperative programs with order sorted algebras. This material will help the interested student to learn about OBJ3 and related theories and technologies.