@Unpublished{riemenschneider97b,
    AUTHOR = {Robert {A.} Riemenschneider},
    TITLE = {{A} Simplified Method for Establishing the Correctness of Architectural Refinements},
    NOTE = {Available at \backslashurlhttp://www.sdl.sri.com/dsa/publis/simplified.html},
    URL = {http://www.sdl.sri.com/papers/simplified/}
}