Last update: Sat Jan 6 02:03:49 MST 2018
@Article{Short:1981:PDT,
author = "K. W. Short",
title = "Protection in Data Type Abstractions Using Constraints
on Data Values",
journal = j-COMP-J,
volume = "24",
number = "2",
pages = "118--124",
month = may,
year = "1981",
CODEN = "CMPJA6",
DOI = "https://doi.org/10.1093/comjnl/24.2.118",
ISSN = "0010-4620 (print), 1460-2067 (electronic)",
ISSN-L = "0010-4620",
bibdate = "Tue Dec 4 14:48:10 MST 2012",
bibsource = "Compendex database;
http://comjnl.oxfordjournals.org/content/24/2.toc;
http://www.math.utah.edu/pub/tex/bib/compj1980.bib;
http://www3.oup.co.uk/computer_journal/hdb/Volume_24/Issue_02/",
URL = "http://comjnl.oxfordjournals.org/content/24/2/118.full.pdf+html;
http://www3.oup.co.uk/computer_journal/hdb/Volume_24/Issue_02/tiff/118.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_24/Issue_02/tiff/119.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_24/Issue_02/tiff/120.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_24/Issue_02/tiff/121.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_24/Issue_02/tiff/122.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_24/Issue_02/tiff/123.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_24/Issue_02/tiff/124.tif",
acknowledgement = ack-nhfb,
classification = "723",
fjournal = "The Computer Journal",
journal-URL = "http://comjnl.oxfordjournals.org/",
keywords = "computer programming languages; computer system
protection",
}