Tadao Takaoka. The Semantics of New While Loop. Comput. J., 29(1):33-35, 1986.
@article{Takaoka86, title = {The Semantics of New While Loop}, author = {Tadao Takaoka}, year = {1986}, tags = {semantics}, researchr = {https://researchr.org/publication/Takaoka86}, cites = {0}, citedby = {0}, journal = {Comput. J.}, volume = {29}, number = {1}, pages = {33-35}, }