id: 50017949
dt: j
an: 50017949
au: Wulf, William A.; London, Ralph L.; Shaw, Mary
ti: An introduction to the construction and verification of alphard programs
so: IEEE Trans. Software Eng. 2, No. 4, 253-265 (1976).
py: 1976
pu: 
la: EN
cc: 
ut: 
ci: 
li: http://doi.ieeecomputersociety.org/10.1109/TSE.1976.233830