R. Moya;I. Ramos
UNIVAC, Spain;University of BILBAO, Spain
A genealogy of control structures
Communications of the ACM
Program development by stepwise refinement
On the semantics of control statements
ACM SIGPLAN Notices