David Stuart Robertson Jaume Agustí-Cullell Jane Hesketh Jordi Levy Expressing Program Requirements Using Refinement Lattices. 163-182 1994 21 Fundam. Inform. 3 db/journals/fuin/fuin21.html#RobertsonAHL94