(HDM) A method for specifying software and systems using hierarchies of abstract machines, developed by Larry Robinson at SRI International circa 1975-1976. The specifications were written in SPECIAL.