“…SPASM defines a set of constraints that support a software construction method, called location binding, described elsewhere [29,30,31,32,33]. We believe similar sets of constraints would be useful where other methods are used to build applications with this technology or for systems using other technologies, such as the synthesis of an objectoriented language and a database system.…”