@inproceedings{Parnas-al:ICSE76,
author = {David Lorge Parnas and
Georg Handzel and
Harald W{\"{u}}rges},
title = {Design and Specification of the Minimal Subset of an Operating System Family {(Abstract)}},
booktitle = {ICSE},
pages = {123},
publisher = {{IEEE} Computer Society},
year = {1976},
}