Last update: Sat Jan 6 02:03:49 MST 2018
@Article{Tse:1987:IPU,
author = "T. H. Tse",
title = "The Identification of Program Unstructuredness: a
Formal Approach",
journal = j-COMP-J,
volume = "30",
number = "6",
pages = "507--511",
month = dec,
year = "1987",
CODEN = "CMPJA6",
DOI = "https://doi.org/10.1093/comjnl/30.6.507",
ISSN = "0010-4620 (print), 1460-2067 (electronic)",
ISSN-L = "0010-4620",
MRclass = "68N05",
MRnumber = "920 066",
bibdate = "Tue Dec 4 14:48:23 MST 2012",
bibsource = "Compendex database;
http://comjnl.oxfordjournals.org/content/30/6.toc;
http://www.math.utah.edu/pub/tex/bib/compj1980.bib;
http://www3.oup.co.uk/computer_journal/hdb/Volume_30/Issue_06/",
URL = "http://comjnl.oxfordjournals.org/content/30/6/507.full.pdf+html;
http://www3.oup.co.uk/computer_journal/hdb/Volume_30/Issue_06/tiff/507.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_30/Issue_06/tiff/508.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_30/Issue_06/tiff/509.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_30/Issue_06/tiff/510.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_30/Issue_06/tiff/511.tif",
acknowledgement = ack-nhfb,
affiliation = "Univ of Hong Kong, Hong Kong",
affiliationaddress = "Univ of Hong Kong, Hong Kong",
classcodes = "C4240 (Programming and algorithm theory)",
classification = "723",
corpsource = "Center of Comput. Studies and Applications, Hong Kong
Univ., Hong Kong",
fjournal = "The Computer Journal",
journal-URL = "http://comjnl.oxfordjournals.org/",
keywords = "branches; computer metatheory --- Programming Theory;
computer programming; entry nodes; formal proofs;
interaction exits; modules; program flowgraphs; program
unstructuredness; programming theory; programs;
skeletons; structured; Theory; unstructured programs",
treatment = "T Theoretical or Mathematical",
}