Jungclaus, et al.. Formal Specification of Object Systems. Springer Berlin Heidelberg, 1991, doi:10.1007/3540539816_61.