@article{lamport2015who,
author = {Lamport, Leslie},
title = {Who Builds a House without Drawing Blueprints?},
year = {2015},
month = {April},
abstract = {Discusses informal specification. It is an expanded version of [179].},
url = {http://approjects.co.za/?big=en-us/research/publication/builds-house-without-drawing-blueprints/},
pages = {38-41},
journal = {Communications of the ACM},
volume = {58},
number = {4},
}