Abadi & Lamport and Stark: towards a Proof Theory for Stuttering, Dense Domains and Refinement Mappings. - Eduard Diepstraten; Ruurd Kuiper 001 (REX Workshop, 1989)